The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

There is a simple technique, due to Dragalin, for proving strong cut-elimination for intuitionistic sequent calculus, but the technique is constrained to certain choices of reduction rules, preventing equally natural alternatives. We consider such a natural, alternative set of reduction rules and show that the classical technique is inapplicable. Instead we develop another approach combining two of our favorite tools—Klop's l-translation and perpetual reductions. These tools are of independent interest and have proved useful in a variety of settings; it is (...) therefore natural to investigate, as we do here, what they have to offer the field of sequent calculus. (shrink)

There is a simple technique, due to Dragalin, for proving strong cut-elimination for intuitionistic sequent calculus, but the technique is constrained to certain choices of reduction rules, preventing equally natural alternatives. We consider such a natural, alternative set of reduction rules and show that the classical technique is inapplicable. Instead we develop another approach combining two of our favorite tools—Klop’s ι-translation and perpetual reductions. These tools are of independent interest and have proved useful in a variety of settings; it is (...) therefore natural to investigate, as we do here, what they have to offer the field of sequent calculus. (shrink)

Can God create a stone too heavy for him to lift? Can time have a beginning? Which came first, the chicken or the egg? Riddles, paradoxes, conundrums--for millennia the human mind has found such knotty logical problems both perplexing and irresistible. Now Roy Sorensen offers the first narrative history of paradoxes, a fascinating and eye-opening account that extends from the ancient Greeks, through the Middle Ages, the Enlightenment, and into the twentieth century. When Augustine asked what God was doing before (...) He made the world, he was told: "Preparing hell for people who ask questions like that." A Brief History of the Paradox takes a close look at "questions like that" and the philosophers who have asked them, beginning with the folk riddles that inspired Anaximander to erect the first metaphysical system and ending with such thinkers as Lewis Carroll, Ludwig Wittgenstein, and W.V. Quine. Organized chronologically, the book is divided into twenty-four chapters, each of which pairs a philosopher with a major paradox, allowing for extended consideration and putting a human face on the strategies that have been taken toward these puzzles. Readers get to follow the minds of Zeno, Socrates, Aquinas, Ockham, Pascal, Kant, Hegel, and many other major philosophers deep inside the tangles of paradox, looking for, and sometimes finding, a way out. Filled with illuminating anecdotes and vividly written, A Brief History of the Paradox will appeal to anyone who finds trying to answer unanswerable questions a paradoxically pleasant endeavor. (shrink)

The eclipse riddle -- Seeing surfaces -- The disappearing act -- Spinning shadows -- Berkeley's shadow -- Para-reflections -- Para-refractions : shadowgrams and the black drop -- Goethe's colored shadows -- Filtows -- Holes in the light -- Black and blue -- Seeing in black and white -- We see in the dark -- Hearing silence.

In this paper I offer a normative account of development expertise. Although extending expertise beyond the traditional development experts to include local stakeholders, this normative account aims to delimit legitimate forms of expertise. I label this normative view third wave development expertise. Third wave expertise is distinguished from both the technocratic and the social constructivist views of development expertise. In particular, I discuss the notions of contributory and interactional expertise. Contributory expertise denotes the extent to which a group of agents (...) possesses knowledge which can make a significant contribution to development decision-making, while interactional expertise denotes the extent to which they are able to communicate this knowledge meaningfully. While local stakeholders may possess contributory expertise in matters of their own development, they may lack interactional expertise to communicate this knowledge. Resolving this issue, I argue, requires a mediator who can interact with and between external experts and local stakeholders. (shrink)

In _Plato on Democracy and Political technē_ Anders Dahl Sørensen offers an in-depth investigation of Plato’s discussions of democracy’s ‘epistemic potential’, arguing that this question is far more central to his political thought than is usually assumed.

Memory is fleeting. New material rapidly obliterates previous material. How, then, can the brain deal successfully with the continual deluge of linguistic input? We argue that, to deal with this “Now-or-Never” bottleneck, the brain must compress and recode linguistic input as rapidly as possible. This observation has strong implications for the nature of language processing: (1) the language system must “eagerly” recode and compress linguistic input; (2) as the bottleneck recurs at each new representational level, the language system must build (...) a multilevel linguistic representation; and (3) the language system must deploy all available information predictively to ensure that local linguistic ambiguities are dealt with “Right-First-Time”; once the original input is lost, there is no way for the language system to recover. This is “Chunk-and-Pass” processing. Similarly, language learning must also occur in the here and now, which implies that language acquisition is learning to process, rather than inducing, a grammar. Moreover, this perspective provides a cognitive foundation for grammaticalization and other aspects of language change. Chunk-and-Pass processing also helps explain a variety of core properties of language, including its multilevel representational structure and duality of patterning. This approach promises to create a direct relationship between psycholinguistics and linguistic theory. More generally, we outline a framework within which to integrate often disconnected inquiries into language processing, language acquisition, and language change and evolution. (shrink)

Can merely thinking about an imaginary situation provide evidence for how the world actually is--or how it ought to be? In this lively book, Roy A. Sorensen addresses this question with an analysis of a wide variety of thought experiments ranging from aesthetics to zoology. Presenting the first general theory of thought experiment, he sets it within an evolutionary framework and integrates recent advances in experimental psychology and the history of science, with special emphasis on Ernst Mach and Thomas Kuhn. (...) Sorensen explores what thought experiments are, how they work, and what their virtues and vices are. In his view, philosophy differs from science in degree, but not in kind. For this reason, he claims, it is possible to understand philosophical thought experiments by concentrating on their resemblance to scientific relatives. Sorensen assesses the hazards of thought experiments and grants that there are interesting ways in which the method leads us astray, but attacks most scepticism about thought experiments as arbitrary. He maintains that they should be used--as they generally are--as part of a diversified portfolio of techniques, creating a network of cross-checks that make for impressive reliability. (shrink)

Journal of Social Philosophy, EarlyView.

In this review article, Christiansen provides a historical perspective on the two research traditions, implicit learning and statistical learning, thus nicely setting the scene for this special issue of Topics in Cognitive Science. In this “tale of two literatures”, he first traces the history of both literatures before sketching a framework that provides a basis for understanding implicit learning and statistical learning as a unified phenomenon.

It is widely assumed that human learning and the structure of human languages are intimately related. This relationship is frequently suggested to derive from a language-specific biological endowment, which encodes universal, but communicatively arbitrary, principles of language structure (a Universal Grammar or UG). How might such a UG have evolved? We argue that UG could not have arisen either by biological adaptation or non-adaptationist genetic processes, resulting in a logical problem of language evolution. Specifically, as the processes of language change (...) are much more rapid than processes of genetic change, language constitutes a both over time and across different human populations, and, hence, cannot provide a stable environment to which language genes could have adapted. We conclude that a biologically determined UG is not evolutionarily viable. Instead, the original motivation for UG arises because language has been shaped to fit the human brain, rather than vice versa. Following Darwin, we view language itself as a complex and interdependent which evolves under selectional pressures from human learning and processing mechanisms. That is, languages themselves are shaped by severe selectional pressure from each generation of language users and learners. This suggests that apparently arbitrary aspects of linguistic structure may result from general learning and processing biases deriving from the structure of thought processes, perceptuo-motor factors, cognitive limitations, and pragmatics. (shrink)

Recent works on the concept of dignity have opened up the otherwise quite deadlocked debate about assisted death (AD). Rather than just reinforcing already fixed positions, it seems to me that these conceptions of dignity make room for a moderate and normatively richer position on the moral permissibility of AD. I do not think that we have seen the full potential of the said conceptions and interpretations. I try in this article to contribute my part. First, I briefly recapitulate some (...) of the paradoxical ways in which dignity is typically invoked in the debate and try to clear up some of the obvious confusions. Then, I go on to explore a particular Kantian line of thought in some recent works on dignity and AD that seems to pave the way for a moderate position with a more principled foundation than the usual compromise positions. (shrink)

The aim of this chapter is to explore and examine what hermeneutic methods can and should be summoned in order to interpret critically an intriguing yet endlessly puzzling sentence in the “Genjōkōan” (現成公案) fascicle of Sōtō sect founder Dōgen’s (道元, 1200–1253) Shōbōgenzō (正法眼蔵). The source material deals with the way perspectives shift dramatically “when riding a boat out to sea, where mountains can no longer be seen (yamanaki kaichū 山なき海中)”? The analogy of sailing past the horizon, so that any trace (...) of land is not visible, and one feels temporarily encircled by the ocean with no other frame of reference available, raises key phenomenological issues regarding the innate partiality or insufficiency of human perception in connection to the Zen goal of awakening to a holistic standpoint that is devoid of divisibility but incorporates an array of standpoints. This passage has been interpreted in diverse ways since the time of early medieval commentaries by Senne and Kyōgō and by Edo-period Sōtō scholiasts, as well as in modern times by various Japanese philosophers and researchers of Dōgen’s texts. (shrink)

In ”Formal Problems about Knowledge,” Roy Sorensen examines epistemological issues that have logical aspects. He uses Fitch's proof for unknowables and the surprise test paradox to illustrate the hopes of the modal logicians who developed epistemic logic, and he considers the epistemology of proof with the help of the knower paradox. One solution to this paradox is that knowledge is not closed under deduction. Sorensen reviews the broader history of this maneuver along with the relevant alternatives model of knowledge which (...) assumes that ”know” is an absolute term like ”flat.” Sorensen argues that the difference between epistemic absolute terms and extensional absolute terms gives rise to an asymmetry that undermines recent claims that there is a structural parallel between the supervaluational and epistemicist theories of vagueness, and he suggests that we have overestimated the ability of logical demonstration to produce knowledge. (shrink)

In the generative tradition, the language faculty has been shrinking—perhaps to include only the mechanism of recursion. This paper argues that even this view of the language faculty is too expansive. We first argue that a language faculty is difficult to reconcile with evolutionary considerations. We then focus on recursion as a detailed case study, arguing that our ability to process recursive structure does not rely on recursion as a property of the grammar, but instead emerge gradually by piggybacking on (...) domain-general sequence learning abilities. Evidence from genetics, comparative work on non-human primates, and cognitive neuroscience suggests that humans have evolved complex sequence learning skills, which were subsequently pressed into service to accommodate language. Constraints on sequence learning therefore have played an important role in shaping the cultural evolution of linguistic structure, including our limited abilities for processing recursive structure. Finally, we re-evaluate some of the key considerations that have often been taken to require the postulation of a language faculty. (shrink)

A key task within the capability approach is the selection of relevant capabilities. The question of how to select capabilities has divided capability theorists into two camps: those who argue that it is a philosophical task and those who argue that it is a matter for the public. In this paper, I argue that this distinction between philosophy and democracy is counterproductive to the operationalization of the capability approach. On the one hand, proponents of the philosophical position overestimate the need (...) for philosophical theorizing when selecting capabilities. On the other hand, proponents of the democratic positions can benefit from addressing issues raised by philosophers. I conclude that rather than making the philosophical position more democratically sensitive, we should search out ways in which philosophy can reinforce democratic processes in general and in relation to the selection of capabilities in particular. (shrink)

Public reason liberalism strives to accommodate as broad an array of viewpoints as possible. Some people are selective science skeptics, meaning that they disagree with parts of mainstream science. Of special interest for this paper are climate deniers, who disagree with the mainstream consensus views of climate science. This creates a problem for public reason: on the one hand, public reason wants to avoid basing rules and policies on controversial principles, values, and so on. On the other hand, there are (...) citizens whom we cannot outright call irrational who are skeptical about central tenets of climate science. This seems to imply that public reason cannot base policies on the robust findings of climate science because these findings are controversial among the citizenry. But we have strong reasons to base our policies vis-à-vis climate change on the robust findings of climate science. How should we proceed? (shrink)

You face two buttons. Pushing one will destroy Greensboro. Pushing the other will save it. There is no way for you to know which button saves and which destroys. What ought you to do? Answer: You ought to make the correct guess and push the button that saves Greensboro. Second question: Do you have an obligation to push the correct button?

The ability to convey our thoughts using an infinite number of linguistic expressions is one of the hallmarks of human language. Understanding the nature of the psychological mechanisms and representations that give rise to this unique productivity is a fundamental goal for the cognitive sciences. A long-standing hypothesis is that single words and rules form the basic building blocks of linguistic productivity, with multiword sequences being treated as units only in peripheral cases such as idioms. The new millennium, however, has (...) seen a shift toward construing multiword linguistic units not as linguistic rarities, but as important building blocks for language acquisition and processing. This shift—which originated within theoretical approaches that emphasize language learning and use—has far-reaching implications for theories of language representation, processing, and acquisition. Incorporating multiword units as integral building blocks blurs the distinction between grammar and lexicon; calls for models of production and comprehension that can accommodate and give rise to the effect of multiword information on processing; and highlights the importance of such units to learning. In this special topic, we bring together cutting-edge work on multiword sequences in theoretical linguistics, first-language acquisition, psycholinguistics, computational modeling, and second-language learning to present a comprehensive overview of the prominence and importance of such units in language, their possible role in explaining differences between first- and second-language learning, and the challenges the combined findings pose for theories of language. (shrink)

Performance of bimanual motor actions requires coordinated and integrated bilateral communication, but in some bimanual tasks, neural interactions and crosstalk might cause bilateral interference. The level of interference probably depends on the proportions of bilateral interneurons connecting homologous areas of the motor cortex in the two hemispheres. The neuromuscular system for proximal muscles has a higher number of bilateral interneurons connecting homologous areas of the motor cortex compared to distal muscles. Based on the differences in neurophysiological organization for proximal vs. (...) distal effectors in the upper extremities, the purpose of the present experiment was to evaluate how the level of bilateral interference depends on whether the bilateral interference task is performed with homologous or non-homologous effectors as the primary task. Fourteen participants first performed a unilateral primary motor task with the dominant arm with proximal and distal controlled joysticks. Performance in the unilateral condition with the dominant arm was compared to the same effector’s performance when two different bilateral interference tasks were performed simultaneously with the non-dominant arm. The two different bilateral interference tasks were subdivided into homologous and non-homologous effectors. The results showed a significant decrease in performance for both proximal and distal controlled joysticks, and this effect was independent of whether the bilateral interference tasks were introduced with homologous or non-homologous effectors. The overall performance decrease as a result of bilateral interference was larger for proximal compared to distal controlled joysticks. Furthermore, a proximal bilateral interference caused a larger performance decrement independent of whether the primary motor task was controlled by a proximal or distal joystick. A novel finding was that the distal joystick performance equally interfered with either homologous or non-homologous interference tasks performed simultaneously. The results indicate that the proximal–distal distinction is an important organismic constraint on motor control and for understanding bilateral communication and interference in general and, in particular, how bilateral interference caused by homologous vs. non-homologous effectors impacts motor performance for proximal and distal effectors. The results seem to map neuroanatomical and neurophysiological differences for these effectors. (shrink)

PurposeAs interest in technology ethics is increasing, so is the interest in bringing schools of ethics from non-Western philosophical traditions to the field, particularly when it comes to information and communication technology. In light of this development and recent publications that result from it, this paper aims to present responds critically to recent work on Confucian virtue ethics (CVE) and technology.Design/methodology/approachFour critiques are presented as theoretical challenges to CVE in technology, claiming that current literature insufficiently addresses: overall applicability, collective ethics (...) issues, epistemic overconfidence within technology corporations and amplification of epistemic overconfidence by the implementation of CVE. These challenges make use of general CVE literature and work on technology critique, political philosophy, epistemology and business ethics.FindingsImplementing CVE in technology may yield some benefits, but these may be outweighed by other outcomes, include strengthening hierarchies, widening inequities, increasing, rather than limiting, predictive activity, personal data collection, misinformation, privacy violations and challenges to the democratic process.Originality/valueThough not directly advocating against CVE, the paper reveals hitherto unidentified and serious issues that should be addressed before CVE are used to inform ethics guidelines or regulatory policies. It also serves as a foundation for further inquiry into how Eastern philosophy more broadly can inform technology ethics in the West. (shrink)

The importance of developmental agendas -- A capability framework for development goals -- A Republican account of local authority in development -- Third wave development expertise -- Selecting capabilities for a development agenda -- Methods for the selection of capabilities and functionings -- An inclusive framework for setting development agendas.

Many philosophers and medical scientists assume thatdisease categories or entities used to classify concrete cases ofdisease, are often defined by disease mechanisms or causalprocesses. Others suggest that diseases should always be definedin this manner. This paper discusses these standpoints criticallyand concludes that they are untenable, not only when `diseasemechanism' refers to an objective mechanism, but also when`mechanism' refers to a pragmatically demarcated part of thetotal ``objective'' causal structure of diseases. As an alternativeto principles that use the concept of disease mechanism (...) oranalogous concepts, a pragmatic approach is suggested anddescribed. This approach has been suggested before, but inproblematic or inadequate versions. This paper proposes a versioncompiled of two ``pragmatic principles'' and shows that they aremuch more adequate than the principle of disease mechanism. Withreference to a case study of a still ongoing internationaldiscussion of various candidates for a classification system formalignant lymphomas, including REAL (Revised European–AmericanClassification of Lymphoid Neoplasms) in which the concept ofdisease mechanism or analogous concepts plays a very small part,it is shown just how pivotal these two pragmatic principles canbe in actual discussions of definitions of diseases. Finally, itis pointed out that with regard to modern philosophy of languageit may, at least in some cases, be problematic to distinguishbetween the two pragmatic principles as they stand. (shrink)

Machine intelligence already helps medical staff with a number of tasks. Ethical decision-making, however, has not been handed over to computers. In this proof-of-concept study, we show how an algorithm based on Beauchamp and Childress’ prima-facie principles could be employed to advise on a range of moral dilemma situations that occur in medical institutions. We explain why we chose fuzzy cognitive maps to set up the advisory system and how we utilized machine learning to train it. We report on the (...) difficult task of operationalizing the principles of beneficence, non-maleficence and patient autonomy, and describe how we selected suitable input parameters that we extracted from a training dataset of clinical cases. The first performance results are promising, but an algorithmic approach to ethics also comes with several weaknesses and limitations. Should one really entrust the sensitive domain of clinical ethics to machine intelligence? (shrink)

We present results from a study about women and employee-elected board members, and fill some of the gaps in the literature about their contribution to board effectiveness. The empirical data are from a unique data set of Norwegian firms. Board effectiveness is evaluated in relation to board control tasks, including board corporate social responsibility (CSR) involvement. We found that the contributions of women and employee-elected board members varied depending on the board tasks studied. In the article we also explored the (...) effects of the esteem of the women and employee-elected board members, and we used creative discussions in the boardroom as a mediating variable. Previous board research, including research about women and employee-elected directors, questions if the board members contribute to board effectiveness. The main message from this study is that it may be more important to ask how, rather than if, women and employee-elected board members contribute, and we need to open the black box of actual board behavior to explore how they may contribute. (shrink)

Psychologists have used experimental methods to study language for more than a century. However, only with the recent availability of large-scale linguistic databases has a more complete picture begun to emerge of how language is actually used, and what information is available as input to language acquisition. Analyses of such “big data” have resulted in reappraisals of key assumptions about the nature of language. As an example, we focus on corpus-based research that has shed new light on the arbitrariness of (...) the sign: the longstanding assumption that the relationship between the sound of a word and its meaning is arbitrary. The results reveal a systematic relationship between the sound of a word and its meaning, which is stronger for early acquired words. Moreover, the analyses further uncover a systematic relationship between words and their lexical categories—nouns and verbs sound differently from each other—affecting how we learn new words and use them in sentences. Together, these results point to a division of labor between arbitrariness and systematicity in sound-meaning mappings. We conclude by arguing in favor of including “big data” analyses into the language scientist's methodological toolbox. (shrink)

The _Platform Sutra_ comprises a wide range of important Chan/Zen Buddhist teachings. Purported to contain the autobiography and sermons of Huineng (638-713), the legendary Sixth Patriarch of Chan, the sutra has been popular among monastics and the educated elite for centuries. The first study of its kind in English, this volume offers essays that introduce the history and ideas of the sutra to a general audience and interpret its practices. Leading specialists on Buddhism discuss the text's historical background and its (...) vaunted legacy in Chinese culture. Incorporating recent scholarship and theory, chapters include an overview of Chinese Buddhism, the crucial role of the _Platform Sutra _in the Chan tradition, and the dynamics of Huineng's biography. They probe the sutra's key philosophical arguments, its paradoxical teachings about transmission, and its position on ordination and other institutions. The book includes a character glossary and extensive bibliography, with helpful references for students, general readers, and specialists throughout. The editors and contributors are among the most respected scholars in the study of Buddhism, and they assess the place of the _Platform Sutra_ in the broader context of Chinese thought, opening the text to all readers interested in Asian culture, literature, spirituality, and religion. (shrink)

Integrating local knowledge about environmental and socioeconomic circumstances is necessary in order for development efforts to be responsive to local realities and needs. However, knowledge-integ...

The Intergovernmental Panel for Climate Change has over the past decade repeatedly warned that we are heading towards inevitable and irreversible climate change, which will negatively affect the lives, livelihoods, and well-being of millions of people around the world, both at present and in the future. In fact, many people, especially vulnerable and marginalized communities in low- and middle-income countries, already live with the effects of climate change in their daily lives. While adaptation – along with mitigation and compensation for (...) loss and damage as a consequence of climate change – was identified as the central pillars of a just climate policy in the Paris Agreement it is unclear whether this entails a right to adaptation – that some people are owed, as a matter of justice, to have the ability to adapt to climate change – and, if so, what such a right would look like. In this paper, I argue that individuals and communities who are or will be negatively affected by climate change through no fault of their own should have the right to adaptation. I argue that the right to adaptation should be specified through four questions: (i) who has a right to adaptation; (ii) what is it a right to; (iii) how much is it a right to; and (iv) who has the duty to uphold the right to adaptation? (shrink)

Arguably, emotion is always valenced—either pleasant or unpleasant—and dependent on the pleasure system. This system serves adaptive evolutionary functions; relying on separable wanting, liking, and learning neural mechanisms mediated by mesocorticolimbic networks driving pleasure cycles with appetitive, consummatory, and satiation phases. Liking is generated in a small set of discrete hedonic hotspots and coldspots, while wanting is linked to dopamine and to larger distributed brain networks. Breakdown of the pleasure system can lead to anhedonia and other features of affective disorders. (...) Eudaimonia and well-being are difficult to study empirically, yet whole-brain computational models could offer novel insights potentially linking eudaimonia to optimal metastability in the pleasure system. (shrink)

Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In order to substantiate (...) this reading, I will show that only in this way it can be explained why Kant thought (1) that mathematics has a particular foundational function with respect to the natural sciences and (2) as such secures their scientific status. (shrink)

This paper makes two main claims: first, that the need to protect health professionals' moral integrity is what grounds the right to conscientious objection in health care; and second, that for a given claim of conscientious objection to be acceptable to society, a certain set of criteria should be fulfilled. The importance of moral integrity for individuals and society, including its special role in health care, is advocated. Criteria for evaluating the acceptability of claims to conscientious objection are outlined. The (...) precise content of the criteria is dictated by the two main interests that are at stake in the dilemma of conscientious objection: the patient's interests and the health professional's moral integrity. Alternative criteria proposed by other authors are challenged. The bold claim is made that conscientious objection should be recognised by society as acceptable whenever the five main criteria of the proposed set are met. (shrink)

BackgroundCase consultation performed by clinical ethics committees (CECs) is a complex activity which should be evaluated. Several evaluation studies have reported stakeholder satisfaction in single institutions. The present study was conducted nationwide and compares clinicians’ evaluations on a range of aspects with the CEC’s own evaluation.MethodsProspective questionnaire study involving case consultations at 19 Norwegian CECs for 1 year, where consultations were evaluated by CECs and clinicians who had participated.ResultsEvaluations of 64 case consultations were received. Cases were complex with multiple ethical (...) problems intertwined. Clinicians rated the average CEC consult highly, being both satisfied with the process and perceiving it to be useful across a number of aspects. CEC evaluations corresponded well with those of clinicians in a large majority of cases. Having next of kin/patients present was experienced as predominantly positive, though practised by only half of the CECs. The educational function of the consult was evaluated more positively when the CEC used a systematic deliberation method.ConclusionsCEC case consultation was found to be a useful service. The study is also a favourable evaluation of the Norwegian CEC system, implying that it is feasible to implement well-functioning CECs on a large scale. There are good reasons to involve the stakeholders in the consultations as a main rule. (shrink)